A Policy Description Language
نویسندگان
چکیده
A policy describes principles or strategies for a plan of action designed to achieve a particular set of goals. We define a policy as a function that maps a series of events into a set of actions. In this paper we introduce P~D£, a simple but expressive language to specify policies. The design of the language has been strongly influenced by the action languages of Geffner and Bonet (Geffner Boner 1998) and Gelfond and Lifschitz (Gelfond & Lifschitz 1993) and the composite temporal event language of Motakis and Zaniolo (Motakis & Zaniolo 1997). The semantics is founded on recent results on formal descriptions of action theories based on automata and their application to active databases. We summarize some complexity results on the hardness of evaluating polices and briefly describe the implementation of a policy server being used to provide centralized administration of a soft switch in a communication etwork.
منابع مشابه
Patient Safety and Healthcare Quality: The Case for Language Access
This paper aims to provide a description of the need for Culturally and Linguistically Appropriate Services (CLAS) for Limited English Proficient (LEP) patients, an identification of how the lack of CLAS for LEP patients can compromise patient safety and healthcare quality, and discuss barriers to the provision of CLAS.
متن کاملLanguage Education Policy in Developing Nations from Colonization to Postcolonialism
The purpose of this article is to evaluate the role that colonization played in language education policy and illustrate the need for first language instruction. Using postcolonial scholar Franz Fanon, the reasons for and consequences of using a second language medium of instruction in postcolonial nations are explored. Colonial languages were used to reinforce the imperialistic goals of ...
متن کاملOf Relating the Linguistic Description to an Interpretation of a Literary Work (Poetry)
This article attempts to see, through the structural significances of poetic language, the nature of the split between linguistic description and literary interpretation. Rhythm is the most prominent means of relating form to content in poetic language. The first account of this prominence is seen through identifying its position in the two prosodic forms of metrical and non-metrical poetry. Fo...
متن کاملIssues with Language Policy and Planning in Iranian Higher Education
In this study, we attempt to bring to light various organisational and implementational clashes relevant to the conceptualisation of language policies at national level, and the planning of local practices with regard to degree programmes, language journals and conferences in Iranian higher education. We also prove that in its current status, the ELT syllabus in Iran, both at national and local...
متن کاملLanguage Policy in Nigeria: Prospect for National Unity
Various studies on the National Policy on Education (NPE) have concentrated on the cognitive value of pedagogy and learning of the language aspect but few have viewed its importance on the togetherness of the nation - Nigeria. This paper deals with how the language policy can influence and ensure the co-existence of Nigeria in achieving self-actualisation, national unity, social, cultural, econ...
متن کاملMinority Language Policy and Planning in the Micro Context of the City: The Case of Manchester
This paper investigates service provisions in community languages offered by Manchester City Council and agencies working alongside to find out whether there is an explicit language policy in Manchester, how such a policy is formulated, how it functions, and how it is reflected in education. Data was collected through interviews with different personnel in MCC, focus group discussions with comm...
متن کامل